반대칭 관계

집합 \(X\)위의 이항 관계 \(\sim\)이 다음의 조건을 만족시킨다면 \(\sim\)을 반대칭적(antisymmetric)이라고 한다.

\[ \forall x, y \in X, \ x \sim y \to y \sim x \to x = y \]